Type system - PDFSEARCH.IO - Document Search Engine

Type system
Results: 9144

#	Item
361	Implementing Implicit Self-Adjusting Computation Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-11 09:31:37 Procedural programming languages Functional languages Functional programming Type theory Data types Standard ML ML Type inference Type system Monad Compiler Algorithm
362	The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Object-oriented programming languages Data types Parsing Type theory F Sharp Lexical analysis Type system OCaml Anonymous function Scala Type inference
363	FlyteTrax III Tutorial Filters: A filter allows you to see Commercial and/or General Aviation flights:  Departing and arriving airports  Airline  Aircraft Type Add to Reading List Source URL: www.flytecomm.com Language: English - Date: 2013-08-26 18:55:52 User interface techniques Point and click Button San Francisco International Airport Flight information display system
364	IFSA Newsletter Vol.2, No.1 Issued on Jan. 31, 2005 http://www.pa.info.mie-u.ac.jp/~furu/ifsa/ NAFIPS – another successful year Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:40 Fuzzy logic Artificial intelligence Logic in computer science Systems scientists Fuzzy set Lotfi A. Zadeh Fuzzy control system Fuzzy Sets and Systems Rough set Type-2 fuzzy sets and systems Genetic fuzzy systems
365	Visible Type Application (Extended version) Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-10-16 15:01:14 Type theory HindleyMilner type system Generalized algebraic data type Type inference Type class System F Unification Glasgow Haskell Compiler Type system Monad Haskell Principal type
366	REVIEWS CANNABINOIDS: POTENTIAL ANTICANCER AGENTS Manuel Guzmán Cannabinoids — the active components of Cannabis sativa and their derivatives — exert Add to Reading List Source URL: www.herb.com Language: English - Date: 2011-09-11 18:30:10 Cannabinoids Cannabinoid receptor type 1 Endocannabinoid system Cannabinoid Tetrahydrocannabinol Effects of cannabis Cannabidiol Synthetic cannabinoids Medical cannabis HU-210 Cannabis Nabilone
367	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com An Improved Representation for Stroke-based Fonts Add to Reading List Source URL: www.merl.com Language: English - Date: 2013-03-05 13:54:09 Digital typography Typography Typesetting Computer font Graphic design Typeface Metafont Font Saffron Type System Glyph Type design
368	Code Generation to Support Static and Dynamic Composition of Software Product Lines Marko Rosenm¨uller, Norbert Siegmund, Gunter Saake School of Computer Science, University of Magdeburg, Germany Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2008-08-05 13:58:58 Object-oriented programming Inheritance Factory Class Type system Polymorphism Late binding Objective-C Library Feature model This Inner class
369	A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-12-09 00:09:47 Functional languages Type theory Type systems Scripting languages Cross-platform software Clojure Gradual typing Functional programming Lisp Type inference Dynamic programming language ML
370	Support for the Evolution of C++ Generic Functions Peter Pirkelbauer1 , Damian Dechev2 , and Bjarne Stroustrup3 1 Lawrence Livermore National Laboratory Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2012-01-12 23:37:22 C++ Concepts Generic programming Template C++11 Functional Type system Standard Template Library Monad Polymorphism Scala Iterator

UPDATE